//]]>
Unhighlight Highlight
SystemC: From the Ground Up by Black, David C. Publication: . XXIII, 338p. 295 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Computing Technologies by Malyshkin, Victor. Publication: . XVI, 444 p. 183 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Science, Engineering and Management by Wang, Mingzheng. Publication: . XIV, 604 p. 219 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Safe and Secure Software Reuse by Favaro, John. Publication: . XIV, 362 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2012: Parallel Processing Workshops by Caragiannis, Ioannis. Publication: . XXIV, 589 p. 232 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Engineering Secure Software and Systems by Jürjens, Jan. Publication: . XII, 231 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge III by Keller, Rainer. Publication: . X, 146 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Job Scheduling Strategies for Parallel Processing by Cirne, Walfredo. Publication: . X, 273 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Self-Adaptive Systems II by Lemos, Rogério. Publication: . X, 393 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Park, James J. Publication: . XX, 647 p. 253 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Chakraborty, Supratik. Publication: . XIV, 436 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ICT as Key Technology against Global Warming by Auweter, Axel. Publication: . IX, 127 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Multi-Agent Systems by Dennis, Louise. Publication: . XII, 217 p. 33 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Progress in VLSI Design and Test by Rahaman, Hafizur. Publication: . XXIV, 408 p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Model-Driven Engineering by Bernardo, Marco. Publication: . VII, 439 p. 158 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Coordination Models and Languages by Sirjani, Marjan. Publication: . XIV, 277p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore - Challenge II by Keller, Rainer. Publication: . X, 173 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية